1. Unsteady adjoint calculation capabilities have also been significantly improved and integrated into industrial adjoint solvers.

Les chercheurs ont aussi notablement amélioré les capacités du calcul adjoint en cas d'instabilité, et l'ont intégré à des solveurs adjoints industriels.

2. The EU-funded 'Fluid optimisation workflows for highly effective automotive development processes' (FLOWHEAD) project focused on developing such adjoint solvers for CFD problems in the automotive industry, and integrating them into the design workflow.

Le projet FLOWHEAD («Fluid optimisation workflows for highly effective automotive development processes») financé par l'UE était centré sur la mise au point de solveurs complémentaires pour les problèmes de CFD dans le secteur automobile, et leur intégration aux activités de conception.

3. Apparatus, method and system for improved reservoir simulation using an algebraic cascading class linear solver

Dispositif, procede et systeme pour la simulation de reservoir amelioree par le biais de systeme de resolution lineaire de classe algebrique en cascade

4. By using a hybrid algorithm that integrates other solvers (search techniques) into BT+CS through the use of probe generators, a more powerful search strategy can be achieved compared to BT+CS or the individual search techniques.

Le fait d'utiliser un algorithme hybride qui intègre d'autres résolveurs (techniques de recherche) dans des techniques BT+CS utilisant des générateurs de sondes permet d'obtenir une stratégie de recherche plus puissante comparée à la technique BT+CS ou aux techniques de recherches individuelles.

5. Hence, this solver is particularly useful for security properties of Java Card byte-code, access control features of mobile and discretionary ambients', and validation of protocol narrations in suitable algebra processes.

Ce solutionneur est donc particulièrement utile pour les propriétés de sécurité du code intermédiaire Java Card, les fonctions de contrôle d'accès des environnements mobiles et discrétionnaires et la validation de narrations de protocoles dans des processus algébriques appropriés.